On finiteness conditions for subalgebras with zero multiplication
نویسندگان
چکیده
منابع مشابه
Finiteness Conditions for Strictness Analysis
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work both in the syntax-directed nature of the approach and in the ability to deal with Wadler’s method for analysing lists. Limitations of the method are indicated.
متن کاملMultiplication of sequences with zero autocorrelation
Near normal sequences of new lengths n = 4m + 1 = 49,53,57 are constructed. The relation between a special set of near normal sequences and Golay sequences is discussed. A reformulation of Yang's powerful theorems on T-sequences is also given. We give base sequences for lengths m + p, m p, m, m for p 1 and m E {19, ... , 30}. Some of these are new lengths, or new decompositions into four square...
متن کاملA Polygraphic Survey on Finiteness Conditions for Rewriting Systems
In 1987, Craig Squier proved that, if a monoid can be presented by a finite convergent string rewriting system, then it satisfies the homological finiteness condition left-FP3. Using this result, he has constructed finitely presented decidable monoids that cannot be presented by finite convergent rewriting systems. In 1994, Squier introduced the condition of finite derivation type, which is a h...
متن کاملOn Homotopical and Homological Finiteness Conditions for Finitely Presented Monoids
An example of a nitely presented monoid is given that does not satisfy the homo-topical niteness condition FHT, although it satisses both the homological niteness conditions left FP 1 and right FP 1 .tions left FP 1 and right FP 1 .
متن کاملFiniteness Conditions for Light-Front Hamiltonians
Many advantages of the light-front (LF) formulation for bound state problems arise from the manifest boost invariance in the longitudinal direction [1{5]. The price for this advantage is that other symmetries, such as parity or rotational invariance (for rotations around a transverse axis) are no longer manifest [6,7]. From the technical point of view, the loss of manifest parity and full rotat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 2005
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm102-1-11